Skip to main content

Equational logic as a programming language

Bookreader Item Preview

texts

Equational logic as a programming language

by
O'Donnell, Michael J., 1952-

Publication date
Topics
Programming languages (Electronic computers), Logic, Symbolic and mathematical, Equations, Theory of
Publisher
Cambridge, Mass. : MIT Press
Collection
internetarchivebooks; inlibrary; printdisabled
Contributor
Internet Archive
Language
English
Item Size
728.5M
296 p. : 24 cm

Bibliography: p. [277]-284

Includes index
Access-restricted-item
true
Addeddate
2022-07-13 15:02:31
Autocrop_version
0.0.14_books-20220331-0.2
Bookplateleaf
0003
Boxid
IA40598724
Camera
USB PTP Class Camera
Collection_set
printdisabled
External-identifier
urn:lcp:equationallogica0000odon:lcpdf:33fc1304-4d00-48c2-8ba1-ae20917cb0c6
urn:oclc:record:1341895600[WorldCat (this item)]
urn:lcp:equationallogica0000odon:epub:ebf86bfe-817a-4b8b-b2de-8e6b6b3ad2c8
Foldoutcount
0
Identifier
equationallogica0000odon
Identifier-ark
ark:/13960/s2r15r9td1n
Invoice
1652
Full catalog record
MARCXML


comment
Reviews (1)

There is 1 review for this item. .

54 Previews

4 Favorites

1 Review

DOWNLOAD OPTIONS

No suitable files to display here.

IN COLLECTIONS

Internet Archive Books

Uploaded by station51.cebu on

SIMILAR ITEMS (based on metadata)

Terms of Service (last updated 12/31/2014)